php program to convert float to int